A Comparative Revisitation of Some Program Transformation Techniques
نویسندگان
چکیده
We revisit the main techniques of program transformation which are used in partial evaluation mixed computation supercompi lation generalized partial computation rule based program derivation program specialization compiling control and the like We present a methodology which underlines these techniques as a common pattern of reasoning and explains the various correspondences which can be estab lished among them This methodology consists of three steps i symbolic computation ii search for regularities and iii program extraction We also discuss some control issues which occur when performing these steps
منابع مشابه
Close interval approximation of piecewise quadratic fuzzy numbers for fuzzy fractional program
The fuzzy approach has undergone a profound structural transformation in the past few decades. Numerous studies have been undertaken to explain fuzzy approach for linear and nonlinear programs. While, the findings in earlier studies have been conflicting, recent studies of competitive situations indicate that fractional programming problem has a positive impact on comparative scenario. We pro...
متن کاملImproving Web Page Revisitation: Analysis, Design and Evaluation
Several years of research suggest improvement is needed in how people return to their previously visited Web pages. Web page revisitation is one of the most frequent actions in computer use, so any interface improvements in this area can have a very large effect. Five categories of revisitation research are involved: 1) Characterizations of user behavior; 2) System models of navigation and thei...
متن کاملA Comparative Study of Various Data Transformation Techniques in Data Mining
This research paper presents a technique to select an ideal transformation technique of original and transformed features. The paper reviews about a comparative study of various data transformation techniques used in data mining which includes six types of transformation techniques Wavelets, Genetic Algorithm and Wrappers, Identity transform, Program synthesis, Data refinement transformation, a...
متن کاملSuicide Misclassification in an International Context: Revisitation and Update
International misclassification of suicide, particularly undercounting, has long been a scientific concern. An important question is whether official national suicide data are sufficiently reliable and valid to justify their use in international comparative studies or longitudinal intervention studies. Is cross-national variation in rates of suicide, in part or whole, an artifact of such factor...
متن کاملMitigating and Monitoring Program Security Vulnerabilities
Today's programs are implemented in a variety of languages and contain serious vulnerabilities which can be exploited to cause security breaches. These vulnerabilities have been exploited in real life and resulted in damages to related stakeholders such as program users. As most vulnerabilities belong to program code, many techniques have been applied to mitigate vulnerabilities before and afte...
متن کامل